Parser clean up and refactoring

Remove `AstTyped` and make all typed AST types turn into
concrete and derived types.