Got packages working from typechecking to compilation.