Finished Type-System.
getting rid of "-"
no message
Merge pull request #61 from Merelleya/master

Some edits in "type-system".