Fixed a bug when parsing guards in patterns
Added rational number type
Added some rational number support
Started some updating of the type system
Adding in necessary files