Friendly smart constructors for foreign integer types
Merge branch 'unified-int-primitives' into llvm2

Conflicts:
	effects/Effect/Memory.idr