Compiler: Get rid of opt_object_type production.
Simplify the grammar somewhat by using the same production for
both object(X) and program(X).
Fixes the case where ordinary functions are used as types.
Eg the syntax
now works again (Sql.Sql used to be a program, but is now-a-days
a factory function).