Fixed incorrect Test project file; added argument extension methods and tests
Ltl modeling types
Added InternalAccess types; improved compiler error reporting