Modules can contain Implicit types and values

[robrix]

We might want to disallow implicit types (modulo #163). We should almost certainly disallow implicit values since it’s doubtful that unification suffices to infer unique inhabitants (and it’s essentially never useful to).