Added Scala 2.10.2 compatible support for literal singleton types.
Added support for use of Int literals as Nats; used where possible.