Now top level declarations are required to be...Declarations. In the type system and everything.