introduce JavaType
compute a java type name from a JType
reorder dependencies cuase Enter needs gen.Util
derive JavaType and ArrayElement
introduce JavaArray
Array functionality in a new Prelude module
update to compile
make ArrayELement derivable
document, work on functions for mutable arrays
add usage message
adjust code generation for arrays
Merge branch 'arrays'
Adds Java native arrays to Frege. The corresponding type is JavaArray a.
update shadow prelude