Add unit test class SchemaTypeSystemSuite and test-cases schema[1-4].sfp
Update type system semantics function for schema
Add object{5,6}.sfp to ObjectTypeSystemSuite
update worksheet
Change attribute rule: allow reference
assign a reference of object
tidy up codes
tidy up codes
add procedure declaration to object5.sfp
add semantics rules for procedure,goal,global