Converted most models and collections to hal (test suite fixed but incomplete).