remove clumsy mangotype in favour of xtext jvm types