Removed boudle typechecing phase