initial reimplementation of the skill parser
added comments and fixed some errors
fixed AST generation and added equality checks and pretty printing
added pretty printing projection tests to ensure that multiple parser and pretty printing cycles preserve the content
added basic type checking
added some type checker tests and improved the typechecker
some comments
moved paper to the scala implementation
started reworking of the serialization scheme
updated typesystem definition
type system stuff
more type system stuff
more work on serialization
parser now matches its description in the paper
started implementation of Java compatible intermediate representation
improved wording
updated tests and created a check for proper treatment of the now removed any type
added gitignore
fixed equivalence test and toString
updated examples and type description