Getters for the ast datatypes.
Typechecking...