Merge branch 'instruction-key-builder' into 'master'

Towards lazy instruction lists: implement a comparison key generator for instructions

See merge request !144