isPrimitive method added to Type class
execute method added to Module
added support for structure return types; added corresponding test case
added check for failed method return type resolve
added type checking for  variable types