Mark singleton boxed types

This allows us to omit the createConstant() method for UnspecificValue,
EmptyListValue and BooleanValue
Rename llambda.{st => schemetype}

The "st" package name is a bit too terse and it's easily renamed back to
"st" on import. At the same time trim down AbstractSyntaxTree's imports
to what it explicitly needs.