Fix some issues with the monomorphiser
Monomorphisation of properties in progress

Work continues from LightLogic and Dependency