Morloc: Foreign languages unified under common functional type system · HackerTrans