Added borntyping() and some fixes