SCL compiler returns type errors for type "a"

"a" is supposed to be any type, hence reporting Expected <a> got ... type errors is not valid behaviour.