WyC: begun working on fixing type declarations and type checking.