Have a basic type checker working now.