Switch pseuco-lang to typescript

• CoffeeScript is replaced by TypeScript
• The complete AST is rewritten
• The type checker was moved to a separate project (https://dgit.cs.uni-saarland.de/pseuco/pseuco-static-semantics)