Compile ALPHATYPE to Object. And automatically box primitive Java types when used as type parameters.
Compile ALPHATYPE to Object. And automatically box primitive Java types when used as type parameters.

metaborg/dynsem,metaborg/dynsem