start building up stdlib type declarations for use in the type checker