Fixed pattern issue in parser; Added polymorphic types to ast and parser; Added pattern unit test and polymorphism to type signature unit test