Store metavariables in ibc files

There's really no reason not to, and it means you can import something
unfinished without having to wait for it to typecheck every time.