parsing implemented; It'd be nice if type errors caused the compiler to
issue a type error