Refactored Type and made Type and SynType distinct.
Created anonymous types
Refactored variable patterns
Implemented conversion from raw types to anonymous ones
WORK IN PROGRESS