fixed import of nabl library
brought back old type-check strategy as used in Greenmarl
fixed renaming in insertion strategy
better names for property collection strategies