Merge branch 'disallow-unused-inames-upon-linearization' into 'master'

Disallow (warn about) unused inames upon linearization

See merge request !381