Start identifiers at alpha instead of beta
WIP! Instantiate impl
Added let polymorphism