Add ClassTop type

Still TODO are better error messages when a ClassTop
is encountered for subclassing or instantiation.