Write language specification

We should write a comprehensive document detailing how the core parts of PyDSL work. It doesn't need to include semantics of specific library functions or types. It should contain more general language syntax and features (e.g. variables, how functions, callmacros?, type checking, templates? etc.).