polymorphic constants

```
val monoid: type -> type.
val inst_monoid: forall a. a -> (a -> a -> a) -> monoid a.
```

currently results in:
```
Error: ill-formed term: no quantifiers in types
  at file 'foo.nun': line 3, col 17 to 57
```

I suppose we should monomorphize such undefined symbols properly.