Code updates towards ASaPType support for full fledged typechecker
(not working yet but doesn't break compilation -- unused)